带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

模型势MCP应用于分子间相互作用的研究

使用模型势MCP计算了含重元素的氢键和vail der Waals相互作用体系的几何结构与结合能。结果表明，在MP2水平，应用MCP基组研究分子间相互作用时，可以使用Boys和Bernardi提出的均衡校正法进行基函数重叠误差（BSSE）校正；与同一水平的全电子基组相比，经BSSE校正后的结合能AEcP平均相对误差为5．2％，结果准确，但是BSSE普遍较大；使用MCP基组的计算时间远小于全电子基组，MCP方法的效率随原子的电子层数增加而提高。     

Rough Sets and Three Valued Connectives Extended Abstract

<正>1 Introduction In[5]we investigated the significance of some truth-functional three valued logics of ill-known sets described by pairs of disjoint(or pairs of nested) subsets.In particular,we referred to the case of rough sets showing that if from a mathematical standpoint we obtain sound results,the interpretation with respect to     

谈汉语歇后语的英译策略

歇后语是群众中广为流传的一种特殊语言形式,具有生动形象、诙谐幽默等特点。在文学作品中,歇后语运用得当,可以为作品增色不少。但由于汉语和英语是两门完全不同的语言体系,体现的是两种完全不同的文化。所以汉语中大量的歇后语,在翻译成英文时,有些可以直译,有些则很难直译。因此,在汉语歇后语的英译问题上,译者应特别注意选取恰当的翻译方法。     

模糊控制在无功补偿中的应用

目的阐述模糊控制理论在无功补偿控制中的应用。方法系统控制策略基于模糊控制理论,以电压和无功功率的偏差为输入,经过模糊推理,以对电容器组的投入或者切除为输出。结果很好地解决了由于轻载产生投切震荡的问题。结论将模糊控制方法应用于无功补偿系统中,将专家经验与自动控制相结合,可提高补偿准确度和系统鲁棒性,从而可改善电网的供电质量。     

非光滑B- 预不变凸优化问题的解集刻画 (运筹学与控制论)

给出了具有不等式约束的非光滑B-预不变凸优化问题的最优解集的各种刻画。首先,利用Clarke次微分建立了该优化问题最优解的充分必要条件;再讨论了该优化问题在其解集S上的一个性质:最后建立了该优化问题解集的5种等价形式,即S={x∈M〈^ξ,η(z,x)〉=0,^ξ∈cf(x)=(x∈M〈^ξ,η(z,x)〉≥0,^ξ∈cf(x)}={x∈M〈^ξ,η(x,z)〉=〈^ζ,η(z,x)〉,^ξ∈C(z),^ζ∈cf(x)}={x∈M〈^ξ,η(x,z)〉≥〈^ζ,η(z,x)〉,^ξ∈C(z),^ζ∈cf(x)}={x∈M〈^ξ,η(x,z)〉=〈^ζ,η(z,x)〉=0,^ξ∈C(z),^ζ∈cf(x)},并举例验证这5个集合都相等,为S={0}。     

基于CBERS CCD数据的鹿洼煤矿塌陷区LUCC检测

本文基于多时相中巴地球资源卫星CBERS CCD数据,以鹿洼煤矿塌陷区为例,利用混合像元分解技术开展土地利用/覆盖变化LUCC检测.分别选取研究区域的2002年、2006年和2010年3个时相的CBERSCCD图像作为遥感数据源,将粒子群优化算法引入到端元提取中,基于线性光谱混合模型提取鹿洼煤矿塌陷区水体、建筑用地、农田和土壤4类地物信息,并对结果进行统计分析.LUCC检测结果表明,2002年至2010年间,鹿洼煤矿塌陷地面积逐年增加,造成大面积农田积水,导致无法进行作物耕种.最后,结合当地政府采取的塌陷地治理措施分析了土地利用变化情况.     

A Note on Menon Difference Sets

证明了具有同态象Ｚ４×Ｚｐ的４ｐ２阶群中不存在Ｍｅｎｏｎ差集（ｐ≥５，ｐ≡３（ｍｏｄ４）），并指出在某些情形下Ｔｕｒｙｎ的指数界可以改善。     

基于SuperMap.Deskpro.Net三维建模及二、三维一体化的应用研究

分析了3DGIS的功能、研究内容以及缺陷.通过对3DGIS和2DGIS比较得出二、三维一体化的必要性.运用Supermap.Deskpro.Net建立三维场景,进行山体和城市三维建模、城市三维快速建模、二、三维一体化搡作、联动显示、属性修改、SQL查询等,研究二、三雏一体化的特点和优势,并对相关问题进行探讨.     

L集合范畴中的极限

以范畴论为基础，引入L集合范畴Set（L）概念，分别研究了Set（L）中的极限与余极限问题，同时给出了Set（L）中极限的具体结构和一些性质．